Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
131	Introduction Search Tree Visualizer Constraint and Variable Visualizers Tools VIZ - A Generic Constraint Visualization Tool Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-02-23 08:02:12 Computing Visualizer Document camera ECLiPSe Constraint programming Software engineering Computer programming
132	NOWEB(1) NOWEB(1) NAME notangle, noweave, nountangle − noweb, a literate-programming tool Add to Reading List Source URL: ctan.sciserv.eu Language: English - Date: 2007-05-17 19:00:00
133	Java Tool Smithing Extending the Eclipse Java Development Tools Add to Reading List Source URL: eclipsecon.org Language: English - Date: 2015-02-04 15:53:33 Cross-platform software Archive formats Java programming language Classpath Java virtual machine Javac Eclipse Java JAR Computing Software Java platform
134	FACT SHEET PIPE Computer program for analysis and design of submarine pipelines The PIPE computer program is a design tool for on-bottom submarine pipelines, which calculate the submerged pipe weight to meet specified de Add to Reading List Source URL: www.sintef.no Language: English - Date: 2015-02-16 06:13:46 Programming paradigms Irrigation Plumbing Pipeline Pipe Inter-process communication Piping Computing
135	Multicore Programming with OpenMP CSInParallel Project March 07, 2014 Add to Reading List Source URL: selkie.macalester.edu Language: English - Date: 2014-03-07 15:48:26 Computer programming OpenMP Automatic parallelization tool Affinity mask Computing Concurrent computing Parallel computing
136	Release Notes & User’s Guide Version 1.3 Introduction The Environmental Data Connector (EDC) is a tool that allows users to connect to Add to Reading List Source URL: www.pfeg.noaa.gov Language: English - Date: 2014-09-09 12:08:54 MATLAB Numerical linear algebra NetCDF Command-line interface ArcGIS SYS Sage Software Computing Array programming languages
137	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
138	Wing IDE Reference Manual Wingware, the feather logo, Wing IDE, Wing IDE 101, Wing IDE Personal, Wing IDE Professional, and "The Intelligent Development Environment" are trademarks or registered trademarks of Wingware in Add to Reading List Source URL: wingware.com Language: English - Date: 2015-04-30 21:55:42 Debuggers GNU Debugger Debugging Wing IDE Breakpoint Debug Eric Python IDE Programming tool PyScripter Software Computer programming Computing
139	Security Level: Ktap A New Scripting Dynamic Tracing Tool For Linux zhangwei(Jovi) LinuxCon Japan in May 2013 Add to Reading List Source URL: events.linuxfoundation.org Language: English - Date: 2013-05-29 21:13:17 Linux kernel Aspect-oriented programming DTrace Oracle Linux Linux Loadable kernel module SystemTap Solaris Ltrace Software Computing Debuggers
140	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming

UPDATE